$\forall$${\it es}$:ES, ${\it ff}$:FIFO, $i$:${\it ff}$.C, $e$:\{$e$:E$\mid$ ${\it ff}$.R($i$,$e$)\} . (${\it ff}$.Sender($i$,$e$) $<$ $e$)